Mathematical Aspects of Scientific Software
نویسنده
چکیده
The goal is to survey the impact of scientific software on mathematics. Three types of impacts are identified and several topics from each are discussed in some depth. First is the impact on the structure of mathematics through its Tole as the scientific tool for problem solving. Scientific software leads to new assessments of what algorithms are, how well they work, and what a solution really is. Second is the initiation of new mathematical endeavors. Numerical computation is already very widely known, we discuss the important future roles of symbolic and geometric computation. Finally, there are particular mathematical problems that arise from scientific software. Examples discussed include round-off errors and the validation of computations, mapping problems and algorithms into machines, and adaptive methods. There is considerable discussion of the shortcommings of mathematics in providing an adequate model for the scientific analysis of scientific software. This is a PlUprillt of:l. paper (0 :l.ppc.;lr in Mathcmalic:J1 Aspects or Scientific Sortware (l.R. Rice, cd.) Springer Verlag (1988), pp. 1-39. MATHEMATICAL ASPECTS OF SCIENTIFIC SOFTWARE JOHN R. RICE' Department of Computer Science Purdue University West Lafayette, Indiana 47907
منابع مشابه
Mathematical Models as Research Data via Flexiformal Theory Graphs
Mathematical modeling and simulation (MMS) has now been established as an essential part of the scientific work in many disciplines. It is common to categorize the involved numerical data and to some extent the corresponding scientific software as research data. But both have their origin in mathematical models, therefore any holistic approach to research data in MMS should cover all three aspe...
متن کاملPerformance Aspects of a DSEL for Scientific Computing with C++
In the field of scientific computing there is a manifold of software applications and tools available which provide methods and libraries for the solution of very specific problem classes [1, 13, 15, 22, 26]. They are mostly specialized on a certain type of underlying mathematical model resulting in a solution process which is highly predictable. We have designed a topological library [11] whic...
متن کاملModelling for Knowledge Exchange : Global Aspects of Software for Science and Mathematical Modelling
The knowledge-based economy and information societies are defined similarly by knowledge and information becoming an essential or even dominant productive factor. In order to reflect on their impact on global science, it is essential to better understand the distinction between information and knowledge. Various types of understanding of the concept of knowledge are discussed in this paper, but...
متن کاملOn the Role of Mathematical Abstractions for Scientific Computing
A distinguished feature of scientific computing is the necessity to design software abstractions for approximations. The approximations are themselves abstractions of mathematical models, which also are abstractions. In this paper, the relation between different mathematical abstraction levels and scientific computing software is discussed, in particular with respect to the simulation of partia...
متن کاملPublishing scientific software matters
Software is a central part of modern scientific discovery. Software turns a theoretical model into quantitative predictions; software controls an experiment; and software extracts from raw data evidence supporting or rejecting a theory. As of today, scientific publications seldom discuss software in depth, maybe because it is both highly technical and a recent addition to scientific tools. But ...
متن کامل